Nuprl Lemma : mklnk-wf-test 0,22
lnk1{a to b}  IdLnk 
latex

Definitionst  T, "$x", Id, <a,b>, lnk$n{$a to $b}, IdLnk

origin